Dalam matematika, seseorang sering dapat mendefinisikan produk langsung dari objek yang sudah dikenal, memberikan yang baru. Ini menggeneralisasi produk Cartesian dari himpunan yang mendasari, bersama dengan struktur yang ditentukan secara sesuai pada set produk. Lebih abstrak lagi, seseorang berbicara tentang produk dalam teori kategori, yang memformalkan gagasan ini.